PETSc Tutorial PETSc Team Presented by Matthew Knepley Mathematics and Computer Science Division Argonne National Laboratory

Source URL: www.scat.bristol.ac.uk

An Algebra for Semantic Construction in Constraint-based Grammars Ann Copestake Computer Laboratory University of Cambridge New Museums Site Pembroke St, Cambridge, UK

Source URL: www.cl.cam.ac.uk

• Semantics
• Computational linguistics
• Generative linguistics
• Type theory
• Logic in computer science
• Head-driven phrase structure grammar
• Minimal recursion semantics
• Valency
• Dependency grammar
• Categorial grammar
• Structure
• Syntax

Interference Constraint Graph – A New Specification for Mixed-Criticality Systems Pengcheng Huang, Pratyush Kumar, Nikolay Stoimenov, Lothar Thiele Computer Engineering and Networks Laboratory, ETH Zurich, 8092 Zurich,

Source URL: www.tik.ethz.ch

• Real-time computing
• Scheduling algorithms
• Scheduling
• Safety engineering
• Systems engineering
• Technology
• Mixed criticality
• Systems science
• Computing
• Fixed-priority pre-emptive scheduling
• Worst-case execution time
• Windows Task Scheduler

Randomized Greedy Inference for Joint Segmentation, POS Tagging and Dependency Parsing Yuan Zhang, Chengtao Li, Regina Barzilay Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technolog

Source URL: people.csail.mit.edu

MFPSCoalgebraic update lenses Danel Ahman1 Laboratory for Foundations of Computer Science, University of Edinburgh, 10 Crichton Street, Edinburgh EH8 9LE, United Kingdom

Source URL: cs.ioc.ee

The Bro Monitoring Platform Robin Sommer! International Computer Science Institute, &! Lawrence Berkeley National Laboratory http://www.icir.org/robin

Source URL: www.troopers.de

• Computing
• System software
• Software
• Internet Standards
• Intrusion detection systems
• Bro
• System administration
• Network management
• Internet protocols
• Syslog
• NetFlow
• Dynamic Host Configuration Protocol

Tree Block Coordinate Descent for MAP in Graphical Models David Sontag Tommi Jaakkola Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology

Source URL: cs.nyu.edu

Feature-based Pronunciation Modeling for Speech Recognition Karen Livescu and James Glass MIT Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139, USA {klivescu, glass}@csail.mit.edu

Source URL: ttic.uchicago.edu

Dynamic Resolution in the Co-Evolution of Morphology and Control Joshua E. Auerbach1 and Josh C. Bongard1 1 Morphology, Evolution and Cognition Laboratory Department of Computer Science

Source URL: www.cs.uvm.edu

Transcript of Loebner Prize 2015 finalist selection conversation with Pandorabot - Tutor. Question Hi, I’m Andrew. Who are you? Pandorabot - Tutor I’m an English Professor working in a university. How are you doing t

Source URL: www.aisb.org.uk

• Education
• Human communication
• Grammar
• Interpersonal communication
• Computer-based Education Research Laboratory
• TUTOR
• Question
• Ion